Measuring icon complexity: An automated analysis

Automated Sized-Type Inference and Complexity Analysis

Index Language. Unlike in [8], where indices are formed over naturals and addition, we keep the index language abstract. This allows for more flexibility, and ultimately for a better intensionality. Indeed, having the freedom of not adopting a fixed index language is known to lead towards completeness [5]. Polymorphic Recursion over Sizes. Type inference in functional programming languages, suc...

Automated Complexity Analysis of Term Rewrite Systems

An Analytical Study on an Orthodontic Index: Index of Complexity, Outcome and Need (ICON)

STATEMENT OF THE PROBLEM The validity of the Index of Complexity, Outcome and Need (ICON) which is an orthodontic index developed and introduced in 2000 should be studied in different ethnic groups. PURPOSE The aim of this study was to perform an analysis on the ICON and to verify whether this index is valid for assessing both the need and complexity of orthodontic treatment in Iran. MATERI...

An automated measuring system for fundus perimetry.

PURPOSE In order to automate fundus perimetry, which is usually laborious because of the many manual operations and the frequent eye movements, we developed a new fundus perimeter with an automated measuring system using computer technology. METHODS This fundus perimeter consists of an infrared fundus camera, a fundus-pursuit unit, and a target-display unit. Both units are personal computers ...

Measuring Complexity in an Aquatic Ecosystem

We apply formal measures of emergence, self-organization, homeostasis, autopoiesis and complexity to an aquatic ecosystem; in particular to the physiochemical component of an Arctic lake. These measures are based on information theory. Variables with an homogeneous distribution have higher values of emergence, while variables with a more heterogeneous distribution have a higher self-organizatio...